Van der Waerden calculus with commuting spinor variables and the Hilbert-Krein structure of the superspace

Working with anticommuting Weyl (or Majorana) spinors in the frame of the van der Waerden calculus is standard in supersymmetry. The natural framework of rigorous supersymmetric quantum field theory makes use of operator-valued superdistributions defined on supersymmetric test functions. This makes necessary a van der Waerden calculus in which the Grassmann variables anticommute but the fermionic components are commutative instead of being anticommutative. We work out such a calculus in view of applications to the rigorous conceptual problems of supersymmetric quantum field theory.